In recent years ethical discussion has centred round the problem of the relation between the idea of right and the idea of good. Previously it had been more or less generally assumed that moral philosophy was principally concerned with the idea of good, and followed its course by asking such questions as: What is the meaning of good? or, What are the characteristics which anything must have in order to be good? or even, What things are good? The idea of (...) right was generally regarded as subordinate, and it was perhaps more often implied than stated that an action was right if by it something good was realized. (shrink)

Modern ethics has been chiefly concerned with the analysis of the conditions and principles of morality; and, in particular, one of its most important achievements has been the further elucidation of the Kantian dictum that “I ought” implies that I can. On the face of it Kant's contention seems perfectly straightforward, but, on examination, it becomes apparent that the simple word “can” covers a somewhat complicated ambiguity. When it is said that I ought to do act A, it may rightly (...) be taken that I can do act A; but the question arises whether or not this in turn involves that I am aware that I can do act A. There is clearly some significance in the assertion that I can do many acts which, however, never occur to me, either because I am ignorant of certain facts or because I have a mistaken opinion about the facts. On the other hand, it may quite properly be said that I cannot perform any act of the possibility of which I am unaware. The problem then is to determine and examine the sense of the word “can” which is a pre-condition of moral obligation. (shrink)

In recent years the writings of Ludwig Wittgenstein have received much attention from philosophers in general and especially from philosophers interested in religion; and there is no doubt that Wittgenstein's legacy of thought is both highly suggestive and highly problematical. It seems likely, however, that the vogue which Wittgenstein now enjoys owes not a little to his peculiar place in the development of modern philosophy and, in particular, of that empiricist tradition in philosophy which stems from what has been called (...) the revolution in philosophy in the early decades of the present century. (shrink)

In his book on Karl Barth Professor T. F. Torrance spoke at one point of ‘the great watershed of modern theology’. ‘There are,’ he wrote, 1 ‘two basic issues here. On the one hand, it is the very substance of the Christian faith that is at stake, and on the other hand, it is the fundamental nature of scientific method, in its critical and methodological renunciation of prior understanding, that is at stake. This is the great watershed of modern theology: (...) either we take the one way or the other – there is no third alter native… one must go either in the direction taken by Barth or in the direction taken by Bultmann.’. (shrink)

It is a curious fact that the much maligned ontological argument to prove the existence of God has in recent times enjoyed a revival of interest to which even Karl Barth, the arch-enemy of natural theology has contributed; but since the revival of interest has appared in a wide diversity of intellectual contexts, both philosophical and theological, the revival is itself almost as problematic as the argument itself.

In his article ‘Professor Bartley's Theory of Rationality and Religious Belief’ Mr W. D. Hudson has brought considerable clarification to the rather confused situation occasioned by Professor W. W. Bartley's book The Retreat to Commitment and its subsequent discussion; but the process can, I think, be carried still further.

By ‘the logic of religious language’ I understand both a problem: What is the correct account of the logic of religious language? and a theme, a recurrent theme in the modern philosophical discussion of religion, which raises a related but distinguishable question: Is the approach to religion of linguistic analysis an adequate approach? Can we do justice to the logic of religious language by attending to the recognition and analysis of different linguistic forms?

By ‘the logic of religious language’ I understand both a problem: What is the correct account of the logic of religious language? and a theme, a recurrent theme in the modern philosophical discussion of religion, which raises a related but distinguishable question: Is the approach to religion of linguistic analysis an adequate approach? Can we do justice to the logic of religious language by attending to the recognition and analysis of different linguistic forms?

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)